Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
421	A STANDARD ZERO FREE REGION FOR RANKIN SELBERG L-FUNCTIONS Dorian Goldfeld, Xiaoqing Li Abstract. A standard zero free region is obtained for Rankin Selberg L-functions L(s, f ×f ) where f is a tempered Maass form on GL Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2015-01-24 21:51:00 Modular forms Q-analogs Analytic functions Factorial Number theory Theta function Proof that π is irrational Random permutation statistics Mathematics Mathematical analysis Combinatorics
422	Auto in Agda joint work with Pepijn Kokke ! IFIP WG 2.1 #71 Zeegse, the Netherlands Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Logic Functional languages Agda Deduction Prolog Soundness Mathematical proof IP Proof theory Programming language theory Software engineering
423	PDF Document Add to Reading List Source URL: www.paramountcoachingcentre.com Language: English - Date: 2015-04-11 07:45:51 Logic Ordinary differential equations Functions and mappings Mathematical fallacy Proof theory Mathematics
424	2-or-more approximation for intuitionistic logic Gabriel Scherer November 25, 2014 1 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-11-25 09:35:48 Algebra Deduction Differential topology Proof theory Abstract algebra Ring theory Semiring
425	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
426	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-10 04:43:39 Mathematics Conservative extension Second-order arithmetic Cut-elimination theorem Ordinal analysis Reverse mathematics Proof theory Mathematical logic Logic
427	—PREPRINT— Supplementary Material to “Cooled and Relaxed Survey Propagation for MRFs” Hai Leong Chieu1,2 , Wee Sun Lee2 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-10-02 20:48:29 Curry–Howard correspondence Ordinal arithmetic Constructible universe Proof theory Ordinal numbers
428	Ultrametric Semantics of Reactive Programs Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-05 08:15:20 Software engineering Natural deduction Proof theory Denotational semantics Monad Symbol Orbifold Theoretical computer science Deduction Mathematical logic
429	Logic and the Methodology of Science June 2004 Preliminary Exam August 23, a) Outline a proof that the theory of rings is not decidable. (b) Show that the set V of all valid formulae in the language of rings is Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Metalogic Model theory Symbol Peano axioms Constructible universe Lovász number Logic Mathematical logic Mathematics
430	Which simple types have a unique inhabitant? Gabriel Scherer Didier R´emy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2015-03-03 05:16:01 Proof theory Lambda calculus Type theory Logic in computer science Model theory Natural deduction System F Function Sequent calculus Mathematical logic Logic Mathematics

UPDATE